$a$ declared in $M$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$locl($a$) $\in$ dom(1of(2of($M$)))